////无法避免重复问题 
//#include<bits/stdc++.h>
//using namespace std;
////年月日
////月日年
////日月年 
//
//int y, m, d;
//
//bool IsRun(int y)
//{
//	return ((y%4==0 && y%100!=0) || (y%400==0));
//}
//
//bool fin(int y, int m, int d)
//{
//	int Mon[] = {0, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31};
//	if(m > 12 || m==0)
//		return false;
//	if(d == 0)
//		return false;
//	if(IsRun(y))
//		Mon[2] = 29;
//	else
//		Mon[2] = 28;
//	if(d > Mon[m])
//		return false;
//	return true;
//}
//
//int main()
//{
//	string str;
//	cin >> str;
//
//	int arr[7];
//	
//	arr[0] = int(str[0]-'0')*10 + int(str[1]-'0');
//	arr[3] = int(str[3]-'0')*10 + int(str[4]-'0');
//	arr[6] = int(str[6]-'0')*10 + int(str[7]-'0');
//	
//	for(int i=0; i<7; i+=6)
//	{
//		for(int j=0; j<4; j+=3)
//		{
//			if(j == i)
//				continue;
//			for(int k=0; k<7; k+=3)
//			{
//				if(k==i || k==j)
//					continue;
//				if(fin(arr[i], arr[j], arr[k]))
//				{
//					if(arr[i] >= 60)
//					{
//						cout << "19" << str[i] << str[i+1] << 
//						'-' << str[j] << str[j+1] << 
//						'-' << str[k] << str[k+1] << endl;
//						
//					}
//					else
//					{
//						cout << "20" << str[i] << str[i+1] << 
//						'-' << str[j] << str[j+1] << 
//						'-' << str[k] << str[k+1] << endl;
//					}
//				}
//			}
//		}
//	}
//	
//	return 0; 
//}



//优化方法二：
#include<bits/stdc++.h>
using namespace std;

int Mon[13] = {0, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31};

bool IsRun(int y)
{
	return ((y%4==0 && y%100!=0) || (y%400==0));
}

bool check(int y, int m, int d)
{
	if(m > 12 || m==0)
		return false;
	if(d == 0)
		return false;
	if(IsRun(y))
		Mon[2] = 29;
	else
		Mon[2] = 28;
	if(d > Mon[m])
		return false;
	return true;
}

int main()
{
	int a, b, c;
	scanf("%d/%d/%d", &a,&b,&c);
	for(int data=19600101; data<=20591231; data++)
	{
		int year = data/10000, month = data/100%100, day = data%100;
		if(check(year, month, day))
		{
			if((year%100==a && month==b && day==c)||
			(month==a && day==b && year%100==c) ||
			(day==a && month==b && year%100==c))
				printf("%d-%02d-%02d\n", year, month, day);
		}
	}
 } 